Solving Symbolic Equations with PRESS
نویسندگان
چکیده
منابع مشابه
A new fractional sub-equation method for solving the space-time fractional differential equations in mathematical physics
In this paper, a new fractional sub-equation method is proposed for finding exact solutions of fractional partial differential equations (FPDEs) in the sense of modified Riemann-Liouville derivative. With the aid of symbolic computation, we choose the space-time fractional Zakharov-Kuznetsov-Benjamin-Bona-Mahony (ZKBBM) equation in mathematical physics with a source to illustrate the validity a...
متن کاملSymbolic Solutions for a Class of Partial Differential Equations
An algorithm to generate solutions for members of a class of completely integrable partial differential equations has been derived from a constructive proof of Frobenius’ Theorem. The algorithm is implemented as a procedure in the computer algebra system Maple. Because the implementation uses the facilities of Maple for solving sets of ordinary differential equations and for sets of nonlinear e...
متن کاملUniication-free Execution of Well-moded and Well-typed Prolog Programs 1
In this paper, a static analysis of Prolog programs has been proposed to improve the eeciency by replacing run-time uniication with matching. Programs for which run-time uniication can be replaced by matching are called uniication-free programs. We propose a set of suucient conditions for uniication-freedom improving the existing results and discuss the application of our results in improving W...
متن کاملSolving Parametric Polynomial Equations and Inequalities by Symbolic Algorithms
The talk gives a survey on some symbolic algorithmic methods for solving systems of algebraic equations with special emphasis on parametric systems. Besides complex solutions I consider also real solutions of systems including inequalities. The techniques described include the Euclidean algorithm, Grr obner bases, characteristic sets, univariate and multivariate Sturm-Sylvester theorems, compre...
متن کاملSolving a class of higher-order equations over a group structure
In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this trend has been the development and deployment of sophisticated methods that are able to comprehend and evaluate important sub-classes of symbolic problems (such as those in polynomial, linear inequal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 7 شماره
صفحات -
تاریخ انتشار 1982